11 results
Planarity and minimal path algorithms
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 40 / Issue 1 / February 1986
- Published online by Cambridge University Press:
- 09 April 2009, pp. 131-142
- Print publication:
- February 1986
-
- Article
-
- You have access
- Export citation
Partial orderings of fixed finite dimension: Model companions and density1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 789-802
- Print publication:
- December 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, San Diego, 1979
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-203
- Print publication:
- March 1981
-
- Article
- Export citation
Two-dimensional partial orderings: Undecidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-143
- Print publication:
- March 1980
-
- Article
- Export citation
Two-dimensional partial orderings: Recursive model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-132
- Print publication:
- March 1980
-
- Article
- Export citation
John N. Crossley. Recursive equivalence: a survey. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 241–251. - John N. Crossley. Recursive equivalence. The bulletin of the London Mathematical Society, vol. 2 (1970), pp. 129–151.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-407
- Print publication:
- June 1972
-
- Article
- Export citation
J. C. E. Dekker. Les fonctions combinatoires et les isols. Collection de logique mathématique, série A, no. 22, Gauthiers-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
- Print publication:
- June 1972
-
- Article
- Export citation
Some contrasts between degrees and the arithmetical hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-304
- Print publication:
- June 1971
-
- Article
- Export citation
Don C. Ferguson. Infinite products of recursive equivalence types. The Journal of symbolic logic, vol. 33 (1968), pp. 221–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 590
- Print publication:
- December 1970
-
- Article
- Export citation
A universal embedding property of the RETs
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-59
- Print publication:
- March 1970
-
- Article
- Export citation
Rich co-ordinals, addition isomorphisms, and RETs1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-52
- Print publication:
- 29 May 1969
-
- Article
- Export citation